if(!window.console){
	Module('console')({
		log: function(m){
			document.write(m+'<br/>');
		},
		time: function(name){
			window[name] = (new Date()).getTime();
		},
		timeEnd: function(name){
			if(window[name]){
				console.log(name+': '+((new Date()).getTime()-window[name]));
			}
			else{
				console.log(name + ' is undefined')
			}
		}
	})
}